An Abstract Machine for the Stochastic Bioambient calculus
نویسنده
چکیده
This paper presents an abstract machine for the stochastic bioambient calculus. The abstract machine is proved sound and complete with respect to a novel stochastic semantics, and is also shown to preserve the reduction probabilities of the calculus. The machine is implemented as an extension to an existing simulator for stochastic pi-calculus.
منابع مشابه
Efficient, Correct Abstract Machines for Stochastic Process Calculi with Mobile Compartments
This paper describes a general approach for deriving efficient, correct abstract machines for stochastic process calculi with nested mobile compartments. The approach is applied to the Bioambient calculus and the Brane calculus. Interestingly, the abstract machines for both calculi can be defined from a common machine that supports both sets of synchronisation primitives. This illustrates the f...
متن کاملStochastic simulation of multiple process calculi for biology
Numerous programming languages based on process calculi have been developed for biological modelling, many of which can generate potentially unbounded numbers of molecular species and reactions. As a result, such languages cannot rely on standard reaction-based simulation methods, and are generally implemented using custom stochastic simulation algorithms. As an alternative, this paper proposes...
متن کاملEPTCS Proceedings of the Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
Biological systems typically involve large numbers of components with complex, highly parallel interactions and intrinsic stochasticity. Numerous programming languages have been developed for modelling such systems, many of which are based on process calculi. Most of these calculi, particularly those involving membrane interactions, are expressive enough to generate potentially unbounded number...
متن کاملImplementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consider the generic stochastic abstract machine introduced by Lakin, Paulevé and Phillips. The nested structure of membranes is flattened into a set of species where the hierarchical structure is represented by means of n...
متن کاملThe Effects of Different SDE Calculus on Dynamics of Nano-Aerosols Motion in Two Phase Flow Systems
Langevin equation for a nano-particle suspended in a laminar fluid flow was analytically studied. The Brownian motion generated from molecular bombardment was taken as a Wiener stochastic process and approximated by a Gaussian white noise. Euler-Maruyama method was used to solve the Langevin equation numerically. The accuracy of Brownian simulation was checked by performing a series of simulati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 227 شماره
صفحات -
تاریخ انتشار 2009